software and its types